first-order predicate logic
英 [fɜːst ˈɔːdə(r) ˈpredɪkət ˈlɒdʒɪk]
美 [fɜːrst ˈɔːrdər ˈpredɪkət ˈlɑːdʒɪk]
网络 一阶谓词逻辑
双语例句
- First-order Predicate Logic Proposition Proved by Using Predicate/ Transition Net
利用谓词/变迁网证明的一阶谓词逻辑命题 - In this paper, we propose a new class of Petri nets, higher-order Petri nets ( HOPN's), which can be applied to polynomial clause subset of first-order predicate logic.
提出了一种新型Petri网&高阶Petri网，这种网可以应用于一阶谓词逻辑中的多项式子句集问题； - Resolution Method Using XML in First-order Predicate Logic
使用XML的一阶谓词逻辑归结原理 - Three temporal logics i.e. first-order predicate calculus, modal logic and reified logic are discussed.
讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。 - Inductive logic programming ( ILP) technique based on first-order predicate logic can describe and learn complex relations naturally, thus is quite suitable for the knowledge representation and automatic acquisition of rules in information extraction.
基于一阶谓词逻辑的归纳逻辑编程技术可以自然地描述和学习复杂的关系，非常适合于信息抽取规则中的知识表示和自动生成。 - In this paper, we gave the definition of truth degree based on the interval interpretation of first-order fuzzy predicate logic ( or first-order fuzzy language) formulas by introducing the new ( concept) of evaluation on variable set, and discuss its a series of properties.
通过引进一阶模糊语言变元集赋值的新概念，给出了一阶模糊谓词逻辑（或一阶模糊语言）公式的区间解释真度的定义，并讨论了它们的一系列性质。 - This paper introduces first-order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. And a logic deduction system is put forward in this paper: Refactoring Reliability Deduction System.
本文从理论上对重构的可行性和可靠性进行了较深入的研究。引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。